bcaa9e49833de8c3f2e066b5a82404025576d136,src/main/java/org/basex/index/value/UpdatableDiskValues.java,UpdatableDiskValues,appendIds,#number#number[]#number[]#,150
Before Change
idxr.write5(ix * 5L, newpos);
// check if key is cached and update the cache entry
final int cacheid = cache.id(key);
if(cacheid > 0)
cache.update(cacheid, ids.length, newpos + Num.length(ids.length));
}
@Override
After Change
idxr.write5(ix * 5L, newpos);
// update the cache entry
cache.add(key, ids.length, newpos + Num.length(ids.length));
}
@Override